Update @detailmenu.
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:22:32 +0000 (05:22 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:22:32 +0000 (05:22 +0000)
commit2b61fbc31822733c42b8156c7bc84c3a2f3d2bcf
treecaed5ab0d23112c215fc78f84984b0653c9f4e73
parentdfaec796a20d02624554e081921fc503311ef125
Update @detailmenu.
doc/lispref/vol1.texi